• Portal do Governo Brasileiro
  • Atualize sua Barra de Governo
  • Ir para o conteúdo 1
  • Ir para o menu 2
  • Ir para a busca 3
  • Ir para o rodapé 4
  • Acessibilidade
  • Alto Contraste
  • Mapa do Site
Topo
Laboratório Nacional de Computação Científica

LNCC

Ministério da Ciência, Tecnologia e Inovações
Instagram Linkedin Facebook YouTube
  • SDumont
  • Imprensa
  • SEI-MCTI
  • Webmail
  • Intranet
  • Fale Conosco
Destaques Result. Programas PCI-LNCC Resultado Final do 1º Processo Seletivo de 2021 Guia de Conduta
logo

O LNCC

  • Histórico
  • Missão
  • Estrutura Organizacional
  • Corpo Técnico Científico
  • Documentos Institucionais
  • Localização

Coordenações

  • Coordenação de Métodos Matemáticos e Computacionais - COMAC
  • Coordenação de Modelagem Computacional - COMOD
  • Coordenação de Pós-graduação e Aperfeiçoamento - COPGA
  • Coordenação de Tecnologia da Informação e Comunicação - COTIC
  • Coordenação de Gestão e Administração - COGEA

Pesquisa e Desenvolvimento

  • Linhas de Pesquisa
  • Produção Técnico-Científica
  • Projetos de P & D
  • Grupos de Pesquisa

Supercomputador SDUMONT - Computação de Alto Desempenho

  • Supercomputador Santos Dumont
  • CENAPAD
  • SINAPAD

Programas Nacionais

  • INCT-MACC
  • LABINFO
  • SINAPAD

Inovação

  • Incubadora
  • NitRio
  • Soluções para Empresas

Programas  Acadêmicos

  • Mestrado e Doutorado
  • Programa de Verão
  • Bolsas de Estudos

Eventos

Biblioteca

  • Biblioteca

Acesso à Informação

  • Institucional
  • Ações e Programas
  • Participação Social
  • Auditorias
  • Receitas e Despesas
  • Licitações, Contratos e Convênios
  • Servidores
  • Informações Classificadas
  • Serviço de Informação ao Cidadão - SIC
  • Perguntas Frequentes
  • Dados Abertos
  • Gestão Documental
  • Agenda do Diretor
  • Carta de serviço ao Cidadão
  • Sobre a Lei de Acesso à Informação
  • Assessoria de Comunicação
  • Ouvidoria
  • Comissão de Ética
  • Gestão de Riscos
  • Guia de Conduta
  • LGPD
 

EVENTO



Análise e Conversão de Algoritmos Criptográficos para Forma Normal Conjuntiva

Tipo de evento:
Defesa de Dissertação de Mestrado


A criptografia é uma ciência que apresenta destaque no mundo atual, evidenciando a
necessidade em realizar pesquisas voltadas para o seu aperfeiçoamento. Apesar das soluções
empregadas atualmente serem baseadas em problemas suficientemente seguros, seu emprego
futuro é questionado. As pesquisas demonstram potencial vulnerabilidade destes sistemas,
caso os computadores quânticos estejam à disposição. Alternativas têm sido estudadas
para contornar tal problema.
Este trabalho consiste em traduzir os algoritmos criptográficos simétricos para o sistema SAT e analisar
a saída obtida. Para isto, inicialmente estudamos o modelo do algoritmo criptográfico de
interesse e inserimos ele em um software verificador de modelos (CBMC). Este software
nos retorna um sistema SAT a ser resolvido, ou seja, reescrevemos o problema como SAT.
Além disto, o sistema pode ser interpretado como um grafo, então reduzimos o mesmo
através de uma busca em profundidade antes de resolvê-lo, para tornar o problema factível
de resolução. A técnica proposta é submetida a um conjunto de testes, utilizando meios
propostos pela literatura e alguns meios originais do trabalho, para validar a ferramenta

Data Início: 17/02/2017
Hora: 10:00
Data Fim: 17/02/2017
Hora: 13:00

Local:  LNCC - Laboratório Nacional de Computação Ciêntifica - Auditorio A

Aluno:
Natasha do Nascimento Paiva - Laboratório Nacional de Computação Científica - LNCC

Co-Orientador:
Pedro Carlos da Silva Lara - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca - CEFET/RJ

Orientador:
Renato Portugal - Laboratório Nacional de Computação Científica - LNCC

Participante Banca Examinadora:
Jauvane Cavalcante de Oliveira - Laboratório Nacional de Computação Científica - LNCC
Nadia Nedjah - Universidade Estadual do Rio de Janeiro - UERJ
Renato Portugal - Laboratório Nacional de Computação Científica - LNCC

Suplente Banca Examinadora:
Diego Barreto Andrade - CEFET/RJ - CEFET/RJ
Gilson Antônio Giraldi - Laboratório Nacional de Computação Científica - LNCC


Últimas eventos

  •   Principal
  •   Hotéis/Pousadas
  •   Área do Inscrito
 
 Voltar para o topo
Rodapé

Principal

  • Estrutura Organizacional
  • Corpo Técnico Científico
  • Produção Técnico-Científica
  • Projetos de P & D
  • Mestrado e Doutorado
  • Bolsas de Estudos
  • Seminários
  • Congressos / Escolas / Cursos
  • Biblioteca

Acesso à Informação

  • Institucional
  • Ações e Programas
  • Participação Social
  • Auditorias
  • Receitas e Despesas
  • Licitações, Contratos e Convênios
  • Servidores
  • Informações Classificadas
  • Serviço de Informação ao Cidadão - SIC
  • Perguntas Frequentes
  • Dados Abertos
  • Gestão Documental
  • Agenda do Diretor
  • Carta de serviço ao Cidadão
  • Sobre a Lei de Acesso à Informação
  • Ouvidoria
  • Comissão de Ética
  • Gestão de Riscos
  • Guia de Conduta

Serviços

  • Fale Conosco
  • Assessoria de Comunicação

Redes Sociais

  • Instagram
  • Linkedin
  • Facebook
  • YouTube

Navegação

  • Acessibilidade
  • Mapa do Site

Brasil - Governo Federal   Brasil - Governo Federal